Books by author Rupak Majumdar

Showing 1 – 6 out of 6 results

1. 

   Computer Aided Verification

   Rupak Majumdar, Viktor Kuncak | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Hybrid Systems: Computation and Control

   Rupak Majumdar, Paulo Tabuada | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Runtime Verification

   Ezio Bartocci, Rupak Majumdar | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Computer Aided Verification

   Rupak Majumdar, Viktor Kuncak | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Model Checking Software

   Klaus Havelund, Rupak Majumdar, Jens Palsberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Javier Esparza, Rupak Majumdar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.55 €

   Sale 7 %

   You save 4.27 €

   Buy

For a small fee elegant gift-wrap is available. Find out more